module Module

type T =
    interface
    abstract P: int
    end

()
